Q-R-glued(es; Ib_valtype; f; Ia; Qa; Ib; Rb) == g:E(Ib)E. g glues Ia:Qa f Ib:Rb 

latex

---

clarification:

Q-R-glued(es; Ib_valtype; f; Ia; Qa; Ib; Rb)
== g:es-E-interface(es;Ib)es-E(es). Q-R-glues(es;Ib_valtype;g;f;Ia;Qa;Ib;Rb) 

latex

Definitions	x:A. B(x), x:AB(x), E(X), E, g glues Ia:Qa f Ib:Rb
FDL editor aliases	Q-R-glued